Skip to content

feat: add AI Evidence Oracle example (Procedural Proof) - #1951

Open
fmdd123123-create wants to merge 2 commits into
LayerZero-Labs:mainfrom
fmdd123123-create:feat/oapp-ai-oracle
Open

fmdd123123-create wants to merge 2 commits into
LayerZero-Labs:mainfrom
fmdd123123-create:feat/oapp-ai-oracle

Conversation

@fmdd123123-create

Copy link
Copy Markdown

A new trust primitive for the AI era — OApp that verifies AI process compliance (not data correctness) and dispatches verified decisions cross-chain via LayerZero V2.

Four-layer architecture:

  1. Evidence: AI submits decision + evidence hash (IPFS commitment)
  2. Verification: Independent verifiers audit SOP compliance
  3. Distribution: LayerZero dispatches verified decisions cross-chain
  4. Execution: Target chain receives and acts

Trust model isomorphic to DVN:

  • DVN verifies transport integrity (hash comparison)
  • EvidenceOracle verifies process compliance (SOP audit)
  • Both are permissionlessly challengeable (fraud proof via replay)

Includes:

  • EvidenceOracle.sol — single OApp contract
  • Hardhat tasks: ai:submit, verify:decision, dispatch:decision, challenge:decision
  • SOP framework with example (rainfall trigger for insurance)
  • layerzero.config.ts for Sepolia ↔ BSC Testnet
  • Full README with architecture explanation

Live deployment:

  • Sepolia: 0xaa24CC417EC7ae219F52C400E64E600AAfD3f45d
  • BSC Testnet: 0xc7FFF00d2c2C6B0aC5D726d3E6e317cCae638214

A new trust primitive for the AI era — OApp that verifies AI process
compliance (not data correctness) and dispatches verified decisions
cross-chain via LayerZero V2.

Four-layer architecture:
  1. Evidence: AI submits decision + evidence hash (IPFS commitment)
  2. Verification: Independent verifiers audit SOP compliance
  3. Distribution: LayerZero dispatches verified decisions cross-chain
  4. Execution: Target chain receives and acts

Trust model isomorphic to DVN:
  - DVN verifies transport integrity (hash comparison)
  - EvidenceOracle verifies process compliance (SOP audit)
  - Both are permissionlessly challengeable (fraud proof via replay)

Includes:
  - EvidenceOracle.sol — single OApp contract
  - Hardhat tasks: ai:submit, verify:decision, dispatch:decision, challenge:decision
  - SOP framework with example (rainfall trigger for insurance)
  - layerzero.config.ts for Sepolia ↔ BSC Testnet
  - Full README with architecture explanation

Live deployment:
  - Sepolia: 0xaa24CC417EC7ae219F52C400E64E600AAfD3f45d
  - BSC Testnet: 0xc7FFF00d2c2C6B0aC5D726d3E6e317cCae638214
@socket-security

socket-security Bot commented Aug 23, 2026 •

Copy link
Copy Markdown

@socket-security

socket-security Bot commented Aug 23, 2026 •

Copy link
Copy Markdown

All alerts resolved. Learn more about Socket for GitHub.

This PR previously contained dependency changes with security issues that have been resolved, removed, or ignored.

View full report

- Switch to ethers v5 (repo standard) from ethers v6
- Add resolutions/overrides for ethers and hardhat-deploy
- Use @nomiclabs/hardhat-ethers (matching other examples)
- Use EndpointId enum from lz-definitions
- Add pnpm-lock.yaml (generated with pnpm 8.15.6)
- Fix receipt.hash -> receipt.transactionHash (ethers v5)
- Mark package as private (repo convention)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant